Functional Abstract Interpretation
simon.peytonjones.org·21h·
Discuss: Hacker News
🔗Functional Compilers
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·17h
🔲Cellular Automata
Cactus Language • Stylistics 4
inquiryintoinquiry.com·6h
🌳Context free grammars
A distributed systems reliability glossary
antithesis.com·6h·
Discuss: Lobsters, Hacker News
✅Archive Fixity
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·21h·
Discuss: Hacker News
🔍Type Inference
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·4h
🎯Gradual Typing
Alignment
languagelog.ldc.upenn.edu·1h
🔄Language Evolution
Historical highlights?
logicmatters.net·10h
🔀Category Theory
Machine Learning Fundamentals: decision trees with python
dev.to·4h·
Discuss: DEV
🔗Topological Sorting
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·6h·
Discuss: Hacker News, r/programming
🔒Type Safety
Hierarchical Modeling (H-Nets)
cartesia.ai·2h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·21h
🧠Learned Indexing
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·23h·
Discuss: Hacker News
🛡️Preservation Proofs
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·4h
🧮Kolmogorov Bounds
LOON - Label Oriented Object Notation
github.com·2d·
Discuss: Hacker News, r/programming
🔧KAITAI
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·53m·
Discuss: Hacker News
🌀Differential Geometry
The Symbol Grounding Problem (1990)
arxiv.org·2d·
Discuss: Hacker News
🧬Functional Programming
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·1d
🎯Gradual Typing